J. Boiten: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Fear Among the Extremes: How Political Ideology Predicts Negative Emotions and Outgroup Derogation

van Prooijen, J.-W., Krouwel, A. P. M., Boiten, M., Eendebak, L.

Journal:

Personality and Social Psychology Bulletin

Year:

2015

Language:

english

File:

PDF, 712 KB

english, 2015

2

Post stroke depression, a long term problem for stroke survivors

Arwert, H.J., Meesters, J.J. L., Boiten, J., Balk, F., Wolterbeek, R., Vliet Vlieland, T.P.M.

Journal:

American Journal of Physical Medicine & Rehabilitation

Year:

2018

Language:

english

File:

PDF, 1.55 MB

english, 2018

3

Stenting versus medical treatment in patients with symptomatic vertebral artery stenosis: a randomised open-label phase 2 trial

Compter, Annette, van der Worp, H Bart, Schonewille, Wouter J, Vos, Jan Albert, Boiten, Jelis, Nederkoorn, Paul J, Uyttenboogaart, Maarten, Lo, Rob T, Algra, Ale, Kappelle, L Jaap

Journal:

The Lancet Neurology

Year:

2015

Language:

english

File:

PDF, 365 KB

english, 2015

4

The FAIR Guiding Principles for scientific data management and stewardship

Wilkinson, Mark D., Dumontier, Michel, Aalbersberg, IJsbrand Jan, Appleton, Gabrielle, Axton, Myles, Baak, Arie, Blomberg, Niklas, Boiten, Jan-Willem, da Silva Santos, Luiz Bonino, Bourne, Philip E.,

Journal:

Scientific Data

Year:

2016

Language:

english

File:

PDF, 189 KB

english, 2016

5

A Holistic Cybersecurity Maturity Assessment Framework for Higher Education Institutions in the United Kingdom

Aliyu, Aliyu, Maglaras, Leandros, He, Ying, Yevseyeva, Iryna, Boiten, Eerke, Cook, Allan, Janicke, Helge

Journal:

Applied Sciences

Year:

2020

File:

PDF, 1.23 MB

2020

6

Flow measurement structures

Journal:

Flow Measurement and Instrumentation

Year:

2002

Language:

english

File:

PDF, 225 KB

english, 2002

7

Cybercrime prevalence and impact in the UK

Hernandez-Castro, Julio, Boiten, Eerke

Journal:

Computer Fraud & Security

Year:

2014

Language:

english

File:

PDF, 460 KB

english, 2014

8

Closure to “ The V‐Shaped Broad‐Crested Weir ” by Wubbo Boiten and Remmet H. Pitlo (June, 1982)

Boiten, Wubbo, Pitlo, Remmet H.

Journal:

Journal of Irrigation and Drainage Engineering

Year:

1983

Language:

english

File:

PDF, 184 KB

english, 1983

9

Strategies for consistency checking based on unification

H. Bowman, E.A. Boiten, J. Derrick, M.W.A. Steen

Journal:

Science of Computer Programming

Year:

1999

Language:

english

File:

PDF, 2.47 MB

english, 1999

10

Calculating upward and downward simulations of state-based specifications

J. Derrick, E. Boiten

Journal:

Information and Software Technology

Year:

1999

Language:

english

File:

PDF, 182 KB

english, 1999

11

A routine method for the measurement of residual stresses in plates

R. G. Boiten, W. Ten Cate

Journal:

Flow, Turbulence and Combustion

Year:

1952

Language:

english

File:

PDF, 1.35 MB

english, 1952

12

Flow-measuring structures

Journal:

Flow Measurement and Instrumentation

Year:

1993

Language:

english

File:

PDF, 922 KB

english, 1993

13

Emotions and respiratory patterns: review and critical analysis

Frans A. Boiten, Nico H. Frijda, Cornelis J.E. Wientjes

Journal:

International Journal of Psychophysiology

Year:

1994

Language:

english

File:

PDF, 2.73 MB

english, 1994

14

Influence of smoking on incidence and prevalence of peripheral arterial disease

Willigendael, Edith M., Teijink, Joep A.W., Bartelink, Marie-Louise, Kuiken, Barthold W., Boiten, Jelis, Moll, Frans L., Büller, Harry R., Prins, Martin H.

Journal:

Journal of Vascular Surgery

Year:

2004

Language:

english

File:

PDF, 155 KB

english, 2004

15

Closure to “ V‐Shaped Short‐Crested Weir With Semicircular Cross Section ” by Wubbo Boiten (December, 1984, Vol. 110, No. 4)

Journal:

Journal of Irrigation and Drainage Engineering

Year:

1987

Language:

english

File:

PDF, 125 KB

english, 1987

16

V‐Shaped Short‐Crested Weir With Semicircular Cross Section

Journal:

Journal of Irrigation and Drainage Engineering

Year:

1984

Language:

english

File:

PDF, 1.15 MB

english, 1984

17

Diversity and adjudication

Boiten, Eerke A.

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 432 KB

english, 2015

18

Lacunar infarcts. Pathogenesis and validity of the clinical syndromes

Boiten, J., Lodder, J.

Journal:

Year:

1991

Language:

english

File:

PDF, 795 KB

english, 1991

19

Unknown onset ischemic strokes in patients last-seen-well >4.5 h: differences between wake-up and daytime-unwitnessed strokes

Dekker, Luuk, Hund, Hajo, Lemmens, Robin, Boiten, Jelis, van den Wijngaard, Ido

Journal:

Acta Neurologica Belgica

Year:

2017

Language:

english

File:

PDF, 509 KB

english, 2017

20

Haemodynamic Mechanism in Small Subcortical Borderzone Infarcts?

Hupperts, R.M.M., Lodder, J., Wilmink, J., Boiten, J., Heuts-van Raak, E.P.M.

Journal:

Cerebrovascular Diseases

Year:

1993

Language:

english

File:

PDF, 1.18 MB

english, 1993

21

Atypical basophilia

Boiten, Henk-Jan, de Jongh, Eva

Journal:

Year:

2018

Language:

english

File:

PDF, 972 KB

english, 2018

22

Refinement (Semantics, Languages and Applications) || Process Algebra

Derrick, John, Boiten, Eerke

Year:

2018

Language:

english

File:

PDF, 318 KB

english, 2018

23

Addendum: The FAIR Guiding Principles for scientific data management and stewardship

Wilkinson, Mark D., Dumontier, Michel, Jan Aalbersberg, Ijsbrand, Appleton, Gabrielle, Axton, Myles, Baak, Arie, Blomberg, Niklas, Boiten, Jan-Willem, da Silva Santos, Luiz Bonino, Bourne, Philip E.,

Journal:

Scientific Data

Year:

2019

Language:

english

File:

PDF, 679 KB

english, 2019

24

Testing refinements of state-based formal specifications

John Derrick, Eerke Boiten

Journal:

Software Testing, Verification and Reliability

Year:

1999

Language:

english

File:

PDF, 263 KB

english, 1999

25

Relational Concurrent Refinement with Internal Operations

John Derrick, Eerke Boiten

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 361 KB

english, 2007

26

Preface

Eerke Boiten, John Derrick, Graeme Smith

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 71 KB

english, 2008

27

Reduction and Refinement

Eerke Boiten, Dan Grundy

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 280 KB

english, 2008

28

Preface

Eerke Boiten, John Derrick, Gerhard Schellhorn

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 67 KB

english, 2008

29

More Relational Concurrent Refinement: Traces and Partial Relations

John Derrick, Eerke Boiten

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 364 KB

english, 2008

30

Preface

Eerke Boiten, John Derrick, Steve Reeves

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 75 KB

english, 2009

31

Relational Concurrent Refinement: Automata

John Derrick, Eerke Boiten

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 301 KB

english, 2009

32

Foreword

Eerke Boiten, Bernhard Möller

Journal:

Science of Computer Programming

Year:

2004

Language:

english

File:

PDF, 133 KB

english, 2004

33

Incompleteness of relational simulations in the blocking paradigm

Eerke Boiten, John Derrick

Journal:

Science of Computer Programming

Year:

2010

Language:

english

File:

PDF, 259 KB

english, 2010

34

Selected papers of the Refinement Workshop Turku (2008)

Eerke Boiten, John Derrick, Gerhard Schellhorn

Journal:

Science of Computer Programming

Year:

2011

Language:

english

File:

PDF, 131 KB

english, 2011

35

Constructive consistency checking for partial specification in Z

Eerke Boiten, John Derrick, Howard Bowman, Maarten Steen

Journal:

Science of Computer Programming

Year:

1999

Language:

english

File:

PDF, 345 KB

english, 1999

36

Viewpoint consistency in ODP

Eerke Boiten, Howard Bowman, John Derrick, Peter Linington, Maarten Steen

Journal:

Computer Networks

Year:

2000

Language:

english

File:

PDF, 881 KB

english, 2000

37

Unifying Concurrent and Relational Refinement

Eerke Boiten, John Derrick

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

File:

PDF, 2.43 MB

2002

38

Preface: Volume 70, Issue 3

John Derrick, Eerke Boiten, Jim Woodcock, Joakim von Wright

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 47 KB

english, 2002

39

Photo-elastic investigation of armoured models with an application to bending bars with cracks on the tensile side

Journal:

Flow, Turbulence and Combustion

Year:

1955

Language:

english

File:

PDF, 1.39 MB

english, 1955

40

A new device for half-shadow compensation in photo-elasticity

P. Tegelaar, R. G. Boiten

Journal:

Flow, Turbulence and Combustion

Year:

1954

Language:

english

File:

PDF, 2.00 MB

english, 1954

41

Relational Concurrent Refinement

John Derrick, Eerke Boiten

Journal:

Formal Aspects of Computing

Year:

2003

Language:

english

File:

PDF, 336 KB

english, 2003

42

Guest Editorial Editorial for the FAC Special Issue based on derivative papers from “Refine ’05”

Eerke Boiten, Michael Butler

Journal:

Formal Aspects of Computing

Year:

2006

Language:

english

File:

PDF, 38 KB

english, 2006

43

Guest Editorial Integrated Formal Methods

E. Boiten, J. Derrick, G. Smith

Journal:

Formal Aspects of Computing

Year:

2005

Language:

english

File:

PDF, 55 KB

english, 2005

44

Relational concurrent refinement part II: Internal operations and outputs

Eerke Boiten, John Derrick, Gerhard Schellhorn

Journal:

Formal Aspects of Computing

Year:

2009

Language:

english

File:

PDF, 460 KB

english, 2009

45

Editorial

Journal:

Formal Aspects of Computing

Year:

2009

Language:

english

File:

PDF, 34 KB

english, 2009

46

Editorial

Eerke Boiten, Michael Butler, John Derrick, Graeme Smith

Journal:

Formal Aspects of Computing

Year:

2010

Language:

english

File:

PDF, 30 KB

english, 2010

47

Specifying and Refining Internal Operations in Z

John Derrick, Eerke Boiten, Howard Bowman, Maarten Steen

Journal:

Formal Aspects of Computing

Year:

1998

Language:

english

File:

PDF, 205 KB

english, 1998

48

Editorial

Eerke Boiten, John Derrick, Jin Song Dong, Steve Reeves

Journal:

Formal Aspects of Computing

Year:

2012

Language:

english

File:

PDF, 55 KB

english, 2012

49

Combining Component Specifications in Object-Z and CSP

John Derrick, Eerke Boiten

Journal:

Formal Aspects of Computing

Year:

2002

Language:

english

File:

PDF, 149 KB

english, 2002

50

Interobserver agreement in the assessment of cerebral atrophy on CT using bicaudate and sylvian-fissure ratios

M. van Zagten, F. Kessels, J. Boiten, J. Lodder

Journal:

Year:

1999

Language:

english

File:

PDF, 65 KB

english, 1999

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски